Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
411	Opinion Mining, Subjectivity and Factuality Rodolfo Delmonte University Ca’Foscari Italy [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2010-12-19 18:33:44 Propositional calculus Boolean algebra Logic Negation Sentiment analysis Linguistic modality Auxiliary verb Verb Grammatical polarity Grammar Linguistics Semantics
412	Microsoft Word - soltan_egyptian_arabic_negation_puzzle Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:27 Boolean algebra Polarity item Propositional calculus Mathematical logic Negation Negative Well-formed formula Logic Grammar Linguistics
413	BDD algorithms and cache misses Draft Nils Klarlund AT&T Bell Laboratories Room 2C-410 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:46 Cache Binary decision diagram Boolean algebra Diagrams Model checking CPU cache Hash table Lookup table Trie Computing Search algorithms Computer programming
414	Lisp in Summer Projects Submission Submission Date[removed]:21:56 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Propositional calculus Boolean algebra Logical truth Model theory Satisfiability Function Lisp Algorithm Tautology Logic Mathematics Mathematical logic
415	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
416	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
417	An n log n Algorithm for Online BDD Renement? Nils Klarlund AT&T Labs Research 600 Mountain Ave. Murray Hill, NJ 07974 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:00 Model checking Mathematics Boolean algebra Binary decision diagram Diagrams
418	, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Verication * DAVID BASIN Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:13 Formal languages Predicate logic Boolean algebra Automata theory Propositional variable Binary decision diagram FO Finite-state machine Well-formed formula Logic Mathematics Mathematical logic
419	Course Sampler From ATI Professional Development Short Course Fundamentals of Engineering Probability Visualization Techniques & MatLab Case Studies Instructor: Dr. Ralph E. Morganstern Add to Reading List Source URL: www.aticourses.com Language: English - Date: 2014-12-11 14:04:25 Diagrams Venn diagram Probability Field of sets Collectively exhaustive events Quadrilateral Ordered pair Mathematics Mathematical logic Boolean algebra
420	AN INTRODUCTION TO PROLOG III 1 An Introduction to Prolog III Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2010-09-28 13:14:56 Prolog Constraint programming Programming paradigms Information Processing Language Constraint logic programming Logic programming Boolean algebra B-Prolog Software engineering Computing Computer programming

UPDATE